Collecting and Analyzing Data from Distributed Control Programs

This paper describes a set of tools that allows a developer to instrument a C/C++ program to log data at run-time and then analyze that data to verify correct behavior. The logging tools provide the developer with a means to log a variety of di erent data to a variety of di erent outputs. They also allow for synchronized logging of data from distributed programs. One logging output option is an SQL database. We have developed a set of analysis tools that retrieve data from the database to answer common developer questions. The analysis tools use an interval temporal logic to frame database queries. The data logging tools are fully implemented and performance results are given in this paper. The data analysis tools are currently being tested on data from real NASA applications.